Hetereogeneous Logics for Semantic Manufacturing
نویسنده
چکیده
Semantic Manufacturing has grown as an application area of the Semantic Web Framework. This approach enables reasoning on products in the form of ontologies and involves products requirements verification within its scope. However, there are cases where the expressivity of OWL, a defacto standard for the Semantic Web, is insufficient for expressing fundamental features of designs. As such features are not expressible in OWL, it is not possible to carry out many verifications of them. OWL is therefore a limited scope language for such applications. In this work we present in detailed uses cases to document the presence of such requirements in engineering. Subsequently, we introduce a heterogeneous architecture to overcome the shortcomings of OWL. This consists of the combination of the Common Algebraic Specification Language (CASL) with OWL within the Heterogeneous Tool Set (HETS). A sample CASL specification to prove certain design requirements is presented in order to demonstrate how such requirements can be modeled and verified trough this heterogeneous framework.
منابع مشابه
Tableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملDescription Logics as Ontology Languages for the Semantic Web
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web and thus help to make this vision reality. In this paper, we describe what description logics are and what they can do for the Semantic Web. Descriptions logics are very useful for defining, integrating,...
متن کاملAnalysis of Semantic Networks By Means of Description Logics
The formalization of heterogeneous semantic networks by means of description logics (DL) is considered in this paper. DL is extended by the addition of some new relations from heterogeneous semantic networks.
متن کاملSemantic cut-elimination for two explicit modal logics
Explicit modal logics contain modal-like terms that label formulas in a way that mimics deduction in the system. These logics have certain proof-theoretic advantages over the usual modal logics, perhaps the most important of which is conventional cut-elimination. The present paper studies tableau proof systems for two explicit modal logics, LP and S4LP. Using a certain method to prove the corre...
متن کامل